Câu ví dụ
- Một cách chính thức, nếu M là một tập hợp, hàm đồng nhất f trên M được định nghĩa là hàm với tập xác định (domain) và tập giá trị (codomain) M thỏa mãn
- Số lượng các hàm tự nghịch đảo, bao gồm cả hàm đồng nhất, trên một tập hợp có n = 0, 1, 2,... phần tử được tính bằng quan hệ lặp lại do Heinrich August Rothe tìm ra năm 1800:
